унарная алгебра

См. также в других словарях:

• УНАРНАЯ АЛГЕБРА — уноид, универсальная алгебра с семейством унарных операций Важный пример У. а. дает групповой гомоморфизм произвольной группы Gв группу SA всех подстановок множества А. Такой гомоморфизм наз. действием группы . на А. Определяя унарную операцию… …   Математическая энциклопедия

• Алгебра логики — Не следует путать с булевой алгеброй. Алгебра логики (алгебра высказываний)  раздел математической логики, в котором изучаются логические операции над высказываниями[1]. Чаще всего предполагается (т. н. бинарная или двоичная логика, в… …   Википедия

• Алгебра Кодда — Содержание 1 Реляционные операторы 1.1 Совместимость отношений …   Википедия

• Проекция (реляционная алгебра) — У этого термина существуют и другие значения, см. Проекция. Проекция в реляционной алгебре  унарная операция, которая позволяет получить «вертикальное» подмножество данного отношения, или таблицы, то есть такое подмножество, которое… …   Википедия

• Математическая логика — (теоретическая логика, символическая логика)  раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… …   Википедия

• Булева логика — Не следует путать с булевой алгеброй. Алгебра логики раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными и ложными. Содержание 1 Определение 2 Аксиомы 3 Логические операции …   Википедия

• Двоичная система счисления — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

• ФОРМАЛЬНАЯ ОНТОЛОГИЯ — такой раздел (аспект) онтологии, в котором исследуются (отвлеченные от конкретного содержания) формы явлений, составляющих предмет онтологии, а также фундаментальные онтологические отношения между этими формами и базисные онтологические свойства… …   Современный философский словарь

• Отрицание — У этого термина существуют и другие значения, см. Отрицание (значения). Отрицание в логике унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или… …   Википедия

• Битовые операции — Не следует путать с булевой функцией. Битовая операция в программировании  некоторые операции над цепочками битов. В программировании, как правило, рассматриваются лишь некоторые виды этих операций: логические побитовые операции и… …   Википедия

• Матлогика — Математическая логика (теоретическая логика, символическая логика)  раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого,… …   Википедия